Proof that G is an Abelian Group if f(a) = a^(-1) is a Homorphism